1.
المؤلف: بیزام ،جورج
المکتبة: کتابخانه ۱۳ آبان (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (طهران)
موضوع: ،منطق ریاضی - مسائل ? تمرینها و غیره، , ،ریاضیات - سرگرمیها،
رده :
511
/3076
ب
936
ص
1374
3. <A> Concise introduction to pure mathematics
المؤلف: \ Martin Liebeck.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics.,منطق ریاضی ,ریاضیات
رده :
QA9
.
L478
2016
E-book
,
4. <A> First Course in Mathematical Logic and Set Theory
المؤلف: \ Michael L. O'Leary
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,Mathematics,Set theory,منطق ریاضی,ریاضیات,نظریه مجموعه‌ها,a03,a04,a05,a03,a04,a05
رده :
QA
9
.
O4F5
2016
E-Book
,
5. Discovering Patterns in Mathematics and Poetry
المؤلف: \ Marcia Birken and Anne C. Coon
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics and literature,Logic, Symbolic and mathematical,Word problems (Mathematics),منطق ریاضی,مساله واژه (ریاضیات)
رده :
E-Book
,
6. Elements of Logical Reasoning
المؤلف: / Jan von Plato
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
رده :
QA9
.
V66
2013
7. Essays on the Foundations of Mathematics
المؤلف: \ Stephen Pollard, editor.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
8
.
6
.
E8
2010
E-Book
,
8. Formal Concept Analysis
المؤلف: \ Jaume Baixeries , Christian Sacarea, Manuel Ojeda-Aciego (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,منطق ریاضی-- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
F67
2015
E-Book
,
9. La mathématique et la géométrie chez les romanciers non-oulipiens de l’extrême-contemporain (Le cas de Deville, d’Echenoz, et de Toussaint)
المؤلف: Haleh HADDADI KHELEJAN ,HADDADI KHELEJAN,
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Mathématiques, arithmétique, géométrie, logique, littérature minimaliste.,ریاضیات، حساب، هندسه، منطق، ادبیات کمینه گرا
10. Logic, Mathematics, and Computer Science.
المؤلف: \ Yves Nievergelt
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics,Logic, symbolic and mathematical,Number theory,ریاضیات,منطق ریاضی,نظریه اعداد,a03,a04,a05,a03,a04,a05
رده :
QA
37
.
N5L6
2015
E-Book
,
11. Logic and Philosophy of Mathematics in the Early Husserl
المؤلف: \ by Stefania Centrone.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a03,a03,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
C4L6
2010
E-Book
,
12. Logical Thinking in the Pyramidal Schema of Concepts
المؤلف: / Lutz Geldsetzer, Richard L. Schwartz
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
رده :
QA9
.
G325
2013
13. Special Topics in Mathematics for Computer Scientists
المؤلف: \ Ernst-Erich Doberkat
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات
رده :
QA
76
.
9
..
M35S6
2015
E-Book
,
14. <The> Arché papers on the Mathematics of Abstraction
المؤلف: \ edited by Roy T. Cook.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
A7
2007
E-Book
,
15. <The> Elements of Advanced Mathematics
المؤلف: \ Steven G. Krantz
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics,Mathematics -- Textbooks,Logic, Symbolic and mathematical -- Textbooks,ریاضیات,ریاضیات -- کتاب‌های درسی,منطق ریاضی -- کتاب‌های درسی
رده :
E-Book
,
16. The Oxford handbook of philosophy of mathematics and logic
المؤلف: / edited by Stewart Shapiro.
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: ریاضیات,منطق ریاضی, -- فلسفه, -- فلسفه
رده :
QA
۸
/
۴
/
آ
۷ ۱۳۸۴
17. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
المؤلف: /by Kurt Godel.,گودل,Godel
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: ریاضیات,منطق ریاضی, -- فلسفه
رده :
QA
۹
/
گ
۹
ک
۲ ۱۳۴۵
18. Towards Mathematical Philosophy
المؤلف: \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگره‌ها ,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
19. از ارسطو تا گودل، مجموعه مقا‌له‌ها‌ی فلسفی - منطقی
المؤلف: موحد، ضیا‌ء، ۱۳۲۱-
المکتبة: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (طهران)
موضوع: سده ۲۰ م -- خطا‌به‌ها، سخنرانیها، مقا‌له‌ها منطق,خطا‌به‌ها، سخنرانیها، مقا‌له‌ها فلسفه,فلسفه زبا‌ن,نقد و تفسیر فرگه، گوتلوب، ۱۸۴۸- ۱۹۲۵ م Gottlob ,Frege,منطق -- نقد و تفسیر ارسطو، ۳۸۴-۳۲۲ ؟ ق.م.Aristotle,نقد و تفسیر هوسرل، ادموند، ۱۸۵۹-۱۹۳۸ م.Edmond ,Husser,نقد و تفسیر ابن سینا، حسین بن عبدالله، ۳۷۰-۴۲۸ ق. قیا‌س های شرطی,فلسفه ریاضیات
رده :
BC38
.
M93
20. آشنايي با فلسفه و منطق رياضي
المؤلف: جوامع، محمدجواد
المکتبة: كتابخانه دانشگاه فرهنگیان پردیس شهید بهشتی (خراسان رضوی)
موضوع: فلسفه رياضيات=منطق رياضيات=رياضيات
